Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
231	Towards a Semantically Unified Environmental Information Space Saˇsa Neˇsi´c1 , Andrea Emilio Rizzoli1 , and Ioannis N. Athanasiadis2 1 IDSIA, Manno, Switzerland Add to Reading List Source URL: people.idsia.ch Language: English - Date: 2011-03-25 09:02:04 World Wide Web Consortium Resource Description Framework Linked data Ontology Simple Knowledge Organization System Web Ontology Language RDFa Resource Knowledge representation and reasoning Semantic Web Information Computing
232	An Adaptive Information Retrieval System based on Associative Networks Helmut Berger1 Michael Dittenbach1 Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:30 Knowledge Knowledge representation Information retrieval Semantic memory Spreading activation Knowledge representation and reasoning Semantic network Document retrieval Concept Search Information science Science Semantics
233	From Round Table Geometry: 30 Activities to Connect Math and Literature Sir Cumference, his wife Lady Di of Ameter, and their son Radius draw diagrams and use reasoning to help readers Add to Reading List Source URL: www.charlesbridge.com Language: English - Date: 2006-07-12 12:32:27 Software Freedesktop.org X Window System
234	Hermes: a Semantic Web-Based News Decision Support System Jethro Borsje [removed] Leonard Levering Add to Reading List Source URL: themis.jesdesign.nl Language: English - Date: 2009-12-31 08:44:28 Science Data Ontology Information science Technical communication WordNet Resource Description Framework Web Ontology Language Knowledge representation and reasoning Semantic Web Information Knowledge representation
235	Open Research Online The Open University’s repository of research publications and other research outputs Bridging between sensor measurements and symbolic ontologies through conceptual spaces Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-10-23 22:23:21 Knowledge Semantic Web Ontology Sensors Technical communication Semantic similarity Geographic information system Knowledge representation and reasoning Semantic Sensor Web Science Information science Information
236	AAAI  Fall Symposium Series Registration Brochure November -,  Massachusetts Institute of Technology Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:07:10 Intelligent agent Association for the Advancement of Artificial Intelligence Knowledge Software agent Diagrammatic reasoning Ambient intelligence Cybernetics Artificial intelligence Science Intelligent tutoring system
237	Towards Efficient Document Content Sharing in Social Networks Dragan Gaševi´c Saša Neši´c, Francesco Lelli, Mehdi Jazayeri Add to Reading List Source URL: people.idsia.ch Language: English - Date: 2009-10-21 05:53:19 Information science Knowledge representation Technical communication Ontology Semantic search Semantic desktop Document management system Knowledge representation and reasoning Semantic Web Information Science
238	Extending MS Office for sharing Document Content Units over the Semantic Web Saša Nešić1, Dragan Gašević2, Mehdi Jazayeri1 Faculty of Informatics, University of Lugano, Switzerland School of Computing and Informatio Add to Reading List Source URL: people.idsia.ch Language: English - Date: 2008-04-30 07:50:57 Data Computing Resource Description Framework Ontology Document management system Semantic desktop Knowledge representation and reasoning Semantic publishing Semantic Web Information Knowledge representation
239	Contextual Reasoning in the Verification of PRS Agent Programs Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:39:58 Problem solving Cognitive architecture Multi-agent systems Management Project management Procedural reasoning system Reasoning system Logic programming Hoare logic Artificial intelligence Science Logic
240	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science

UPDATE